package prolog.terms

abstract class ConstBuiltin(sym: String) extends Const(sym) {
  override def exec(p: Prog): Int

  override def isBuiltin(): Boolean = {
    return true
  }

}